The Bibliothèque de La Providence

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox

héritage // polymorphisme Envelope param. template // _ _ _ Envelope〈Zp〉 instanc. // _ _ _ Envelope〈Zp〉 E2(2) ; Archetype // _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ instanciation Archetype A2(&E2) ; Figure 2. Un diagramme DML pour l’architecture des corps dans LINBOX, avec une enveloppe à héritage Il apparaît clairement que la différence entre les deux diagrammes est l’instanciation du corps . En...

Description de Hyalomma dromedarii (Koch 1844) Morphologie de la larve et de la nymphe

Un modèle de bibliothèque numérique collaborative - ARMARIUS

RÉSUMÉ. Les manuscrits anciens numérisés représentent un contenu spécifique pour les bibliothèques numériques. Les utilisateurs travaillant sur ce type de documents ont besoin de systèmes d’assistance et d’espaces de travail collectif pour interpréter, annoter et transcrire ces manuscrits. Dans cet article, nous présenterons un modèle de bibliothèque numérique spécialement conçu pour des manusc...

Une bibliothèque certifiée de programmes fonctionnels BSP

The Bulk-Synchronous Parallel ML (BSML) is a functional language for BSP programming, a model of computing which allows parallel programs to be ported to a wide range of architectures. It is based on an extension of the ML language by parallel operations on a parallel data structure called parallel vector, which is given by intention. We present the certification of a library of BSML programs w...